max $partialdiff sub Y$ min [ Y , min $integral dY$ ( WORLDBATH bath ) ]